Nuprl Lemma : map-id
11,40
postcript
pdf
L
:(Top List). map(
x
.
x
;
L
) ~
L
latex
Definitions
x
:
A
.
B
(
x
)
,
map(
f
;
as
)
,
Y
,
t
T
Lemmas
top
wf
origin
L:(Top List). map(
x.x;L) ~ L L:(Top List). map(x.x;L) ~ L x:A. B(x)
T